A Completeness Theorem for Multi-Adjoint Logic Programming
نویسندگان
چکیده
Multi-adjoint logic programs generalise monotonic and residuated logic programs [2] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approach has continuous fixpoint semantics, in this work, a procedural semantics is given for the paradigm of multi-adjoint logic programming and a completeness result is proved. Some applications which could benefit from this theoretical approach have been commented on, such as threshold computation, fuzzy databases and general fuzzy resolution.
منابع مشابه
Biresiduated Multi-Adjoint Logic Programming
Multi-adjoint logic programs were recently proposed as a generalisation of monotonic and residuated logic programs introduced, in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, the possible existence of biresiduated pairs is considered, later, on the resulting framework of biresiduated multi-adjoint logic progra...
متن کاملMulti-Adjoint Logic Programming
A synthesis of results of the recently introduced paradigm of multi-adjoint logic programming is presented. These results range from a proof theory together with some (quasi)completeness results to general termination results, and from the neural-like implementation of its fix-point semantics to the more general biresiduated multi-adjoint logic programming and its relationship with other approa...
متن کاملSimilarity-based unification: a multi-adjoint approach
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming which allows the simultaneous use of different implications in the rules and rather general connectives in the bodies is introduced, then a procedural semantics for this framework is presented, and an aproximative-complet...
متن کاملRevisiting Reductants in the Multi-adjoint Logic Programming Framework
Reductants are a special kind of fuzzy rules which constitute an essential theoretical tool for proving correctness properties. A multi-adjoint logic program, when interpreted on an arbitrary lattice, has to include all its reductants in order to preserve the approximate completeness property. In this work, after revisiting the different notions of reductant arisen in the framework of multi-adj...
متن کاملA Procedural Semantics for Multi-adjoint Logic Programming
Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, a procedural semantics is given for the paradigm of multiadjoint logic programming and completeness theorems are proved.
متن کامل